perm filename CHALLE[S84,JMC] blob sn#758268 filedate 1984-06-18 generic text, type C, neo UTF8
COMMENT āŠ—   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	challe[s84,jmc]		Challenge problems for common sense formalization
C00003 ENDMK
CāŠ—;
challe[s84,jmc]		Challenge problems for common sense formalization

1. Dogs and trash cans.

2. Prevention via impossibility.

3. Building a prison or a stockade.